RCS "$Id: GameEq.sig,v 1.4 1998/08/13 11:34:59 pxs Exp $";
signature GAMEEQ =
  sig
    structure Ag : AGENT_WRAPPER
    datatype equivalence =
      StrongBisimulation
    | BisimulationCongruence
    | WeakBisimulation
 
    val bisim : equivalence
      -> bool (* true if we definitely want to play *)
      -> Ag.agent * Ag.agent
      -> bool
  end
